@import "../PRODUCT_PLUGIN/book.css";

span.control {
  font-weight: bold;
}

span.name {
  font-style: italic;
}

span.code {
  font-family: monospace;
}

p.nav_footer {
	font-weight: bold;
}

p.nav_footer a {
	font-weight: bold;
	font-style: italic;
}

.code-block {
	font-family: monospace;
	white-space: pre; 
	background: #e4e3f1;
	margin:10px;
	padding: 5px;
}
